MGI:3794751 Tbx6/Ppp4c<tm1.2Htn> http://identifiers.org/mgd/MGI:3794751 targeted mutation 1.2, Shinji Hirotsune Null/knockout PP4c<-> Ppp4c<tm1.2Htn>